Crate risc0_groth16

Core module used to implement Groth16.

Re-exports

• pub use data_structures::ProofJson;
• pub use data_structures::PublicInputsJson;
• pub use data_structures::Seal;
• pub use data_structures::VerifyingKeyJson;
• pub use verifier::Verifier;

Modules

• data_structures
• verifier

Functions

• split_digest
  Splits the digest in half returning a scalar for each halve.